Formal Description of the Cognitive Process of Memorization

Memorization is a key cognitive process of the brain because almost all human intelligence is functioning based on it. This paper presents a neuroinformatics theory of memory and a cognitive process of memorization. Cognitive informatics foundations and functional models of memory and memorization are explored toward a rigorous explanation of memorization. The cognitive process of memorization is studied that reveals how and when memory is created in long-term memory. On the basis of the formal memory and memorization models, the cognitive process of memorization is rigorously described using RealTime Process Algebra (RTPA). This work is one of the fundamental enquiries on the mechanisms of the brain and natural intelligence according to the Layered Reference Model of the Brain (LRMB) developed in cognitive informatics.